b == if b then True else False fi  

latex

Definitions	if b then t else f fi , True, False
FDL editor aliases	assert